((in a swimming pool))